Lógica computacional /
by Paniagua Arís, Enrique.
Published by : Thomson, (Madrid : ) Physical details: xiv, 205 p. : il. ; 25 cm. ISBN:8497321820. Year: 2003Item type | Current location | Call number | Status | Date due |
---|---|---|---|---|
Libros y Folletos | Biblioteca Central | 510.6 P193 Ej.1 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Central | 510.6 P193 Ej.2 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Sede Chamical | 167 (Browse shelf) | Available |
Indice: p. 201-205.
Bibliografía: p. 199-200.
Capítulo 1. La sintaxis de la lógica. Capítulo 2. La semántica de la lógica. Capítulo 3. El método axiomático. Capítulo 4. El método interpretativo. Capítulo 5. La demostración automática de teoremas. Capítulo 6. Los agentes inteligentes y la lógica.
There are no comments for this item.